Possible fix for jenkins bug.