Fix a minor bug in the formatter behavior