Even more minor style fixes.