fix Travis CI failure