Minor style corrections