[contravariant]

Ah that was why. Oh well, I just needed to get the code to the server, so I didn't really need Github anyway.