Correct Jenkins info

Hope erikcas won't kill me for direct pushing