fix_bug_in_RateMatching