Update repo name after fixing a typo.