Bugfix in solver