minor style tweaking