Fix bad copy paste in the docs