Added travis flag.