Some minor style tweaks.