Further minor style tweaks