Some style tweaks.: