Small changes and formatting corrections.