Correct Travis CI service name.