Minor edits to project_2 sagews