Fix a little bug in the usage formatter