Minor adjustments made.