fixes to redundancy checks