Fix error in base case 2 of restoreRedProperty().