bug with DNS back-end?

[Jim Meyering]

Hi,

I noticed that attempting to refresh Simon Josefsson's key, via this

    gpg --refresh B565716F

always elicits this warning:

    gpg: requesting key B565716F from dns:simon.josefsson.org?type=CERT
    gpgkeys: no keyserver host provided
    gpg: keyserver internal error
    gpg: WARNING: unable to refresh key B565716F via dns:simon.josefsson.org?type=CERT: keyserver error
    gpg: refreshing 1 key from hkp://pool.sks-keyservers.net
    gpg: requesting key B565716F from hkp server pool.sks-keyservers.net
    gpg: key B565716F: "Simon Josefsson <simon at josefsson.org>" not changed
    gpg: Total number processed: 1
    gpg:              unchanged: 1

Is that expected?