bugfix to dns resolver api