migration for HLTHiggs and fix for HLTMuon