a few more style tweaks...