Merge "jenkins: Fix some typos"