Fix a broken invariant