Adjustments needed for Travis