make MinimalTranslationCover works