minor style edit