Minor style issue