Fixing an inconsistency