adjust pagination doc (fixes #3994)