Fix portnum in doc