A few more tiny style tweaks