Fixed buggy solver call