minor style bug