Minor style tweak