Fix right-side GV type in minimal_covering_type