fix Travis CI ref