Fix bug in Dao.availableServers