Merged refs/pull/4800/head from repository cms-sw
Fix another typo