One more typo in jenkins nightly