Fixing Github nonsense