minor style tweak