fix typo, include recursion schemes