better parsing in getServers(), fix #5