fix bug on solver