fix a lie in the docs