fix redex docs

closes PR 14450