Correction for improper GitHub Repository name