Fix cms-sw/cmssw#940