Fix a spacing problem