Minor style corrections.