Changing doctests after update of Sage