small fix to run in cmssw 5316patch1