A statement in the documentation is made more precise.