Fixes link to sep-repo being capitalized.