Fix Travis CI job, #11