"redundancy" typo