Minor changes in Solution class.