fixes to times for Travis