Fix a small inconsistency