Fair point. I just tested using tcpdump and the IP address in the response doesn't in fact end with a dot.