minor corrections.