fix a CI error in Travis CI