Fix broken doctest