Fix another timing related issue with Travis