Fix typo in redex docs