Fixing github weirdness