Fix repository name to match new LowerCase naming.

Forgot that one during the previous change.