fix a typo, also rename the repository in github