fix an inconsistency