correction on redundant checks