Hi, sorry for that, I have sent a PR with the fix.

https://github.com/cms-sw/cmssw/pull/3718