Adjusting for Jenkins (hopefully last time)