Add missing comma.
Merge pull request #11638 from s0undt3ch/hotfix/jenkins

Add missing comma.