fix MinimalTranslationCover