fixed bug in labsolver