Fixing weird Github error