Minor style correction