fix after change to typechecker API