Fix add_solution