Fix a small formating issue