Fix renaming problem on GitHub (1)
Fix renaming problem on GitHub (2)