a few style tweaks