A few style fixes.