Minor travis fix