doctest fixes for #439