bugfix for get_fetchserver