minor style correction