minor style tweaks