Fix bug in doctest example