Fix the URL for travis CI.