Make Travis CI instructions slightly clearer