Minor style repairs