A bit of polishing in rab_solver.c.