One more fix attempt of Travis