Fix an inconsistency