Fix a minor formatting bug.