Fixes cms-sw/cmssw#5294.