[Bug 307125] New: typo in solver texts