Small timing problem when running on travis server