Trying to make Jenkins happy