minor style improvement