Fix some repo names

Change-Id: Ie53b37dd6c572b45440896ac02cd1363e71bfef8