This looks like a configuration error in DNS or the server cluster, and your workaround seems to me the second best solution - the best, of course, being to have the configuration of the server(s) in question fixed ...