Minor style revision