Minor edit. "Github" -> "GitHub"