Fixes typo in end of redundancy check.