Minor style-fix