fix Travis CI error