Good point ! 

I noticed the jenkins build failed but it doesn't seem to be related to my change. How to you spin another one ?