Renaming the repository to match filename

Sorry in advance for pain this causes people