Fixed silly bug in get_server