Fix doctest #128