Proper travis setting