Fix a dumb indentation issue