Minor style tweak.