[Bug 307125] typo in solver texts