a few minor style tweaks