DNS resolutions.

Fixes #5.