Fixing a github glitch