fix Github repository name