Minor copy edits to solver.nw