Fix some doctests for portability