tweak the doc for github (again)