Fix errors in Anchor docs

At least, I think they are errors.