minor style adjustment