Fix a string formatting bug