Changed the name, but somehow Github doesn't see it