fix for CMSSW_720 release