Fixed bug in solver service.