Fix travis-CI document for integration