Fixing a bad example in the docs