Correct an invalid comment in the docs