Added travis setting