Github via https (proxy) and typo fixed