a small typo in travis-ci's url