bugfix in typecheck