Correct example doctest in the README