Fix github link in docs