sage-dev: cleanup some doctests