note redex-check change in redex history