This code example is not functioning as a doctest.
I had noted+fixed that, but I've lost the changes somehow -- will fix soon.