Fix a doctest

It was trying to make a point, but the use of // negated that point.