Fixing the server ports in doc