Another small adoption for travis-ci