Fixing the github problem

Hopefully