various style tweaks