minor style tweaks.