correct some bugs in solve_opt