Fix repo names

Change-Id: I39be9ac3e7f5a9e20e36b53c266cb07aa9b00f33