minor fix
towards cps compilation