minor change

Judging from the comments below my comments, my assumption was false, so
I deleted my inaccurate documentation.