reproduce #77 (doctest)