Some of my customers are getting the following error when logging into horde:

Notic: Undefined index: DNS in /usr/local/cpanel/base/horde/imp/config/servers.php on line 95

Has anyone seen this before?