More notes on doctests