more minor style fixes.