Fix bug 2718, variable not used in solution.