dots in ip addresses are nasty