Fix the inconsistency in IsDead.