fix an inconsistency in code