some tiny style tweaks