Minor style fixes.