Fix another doctest