TypeChecker corrections, example corrections.