redex: fix uncaught exception