Fix typo in URL of CI servers.