correct an inconsistency