some minor style tweaks