more minor style tweaks