Thanks. That fixes the failing doctest.