make Travis link more useful