minor style modification