This should fix Travis CI