another little tweak to solver type checking