Fixed bug: DNS names are now case insensitive