Updated UDP port number in RFC20