As requested in cms-sw/cmssw#798.