fixing Travis CI ref