Correct capitalization of GitHub name