minor style tweaks 3