Quick fix for cases in which the host is not discoverable using the domain name

As per title