minor style tweak¡