A few aestetical refinements in rab_solver.