Minor style improvement