very minor style tweaks