Fix a corner case