Documentation fix for #7139: correct information on port numbers, ...

How about this? I struggled a bit with the exact wording, but finally settled on this.