Fix portnum in documentation