Cosmetics: apply minor style fixes.