more small edits to solver