adjust documentation to default port

Might be easier for some the copy-and-pasters…