Fix a formatting gaffe.