Small changes in rab_solver.