Fix some cut&paste errors in the documentation

The code example is incorrect; likely from a cut & paste error.