Fix documentation : port number