bugfix in labsolver