Fixing some weird error with github