Formatting and minor corrections.