More minor corrections.