Fix portnum in documentation

Title says it all.