Fixed the Travis CI build