redex section fixes