Several style corrections.