Fixed repo name in travis config