Fix solver startup issue

No match.