corrected redundancy