a few more style tweaks