Fix Travis CI build, maybe?