Another change made for travis-ci