Handle IP addresses as machine names

Created by  Eelco Dolstra  on July 20, 2015
W73DCZLI4QVTU445PYAK5UCFOYDZGASA4ACPSQ4T34FP7J4KVMGAC
Change contents