Tiny change to capitalization/spelling of GitHub