fix bug in relevantPublicTranslatorSocket