Fix a format issue