Fix the Travis CI build

This pull request is here to help fix the Travis CI build.