more doctest fixes for #439