Fix stupid bug with GitHub