Little formatting fixes.