Another change for travis-ci.