Some changes to real_solution