Fix Travis CI failure