Issue #45: using an invalid key server.