Always make DNS names lowercase

This avoids problems when comparing them.