TypeChecker fix.