DOC fix doctest broken by bugfix