Oops, correcting bug in github.txt