Quickfix of CMSSW regexp. See #4475