minor style adjustment.