Very minor style tweak