travis fix proof