another minor style tweak