Oops: Fix repo names

Change-Id: Id040d7d5c7076a5ab37f84384ff4889d33b56edd