fix after change to typechecker