(style) Minor style changes