Dang! Unfortunately I don’t think I’m allowed to upload any changes until after all submissions have been judged. Once that’s done though I’ll be happy to fix it.
Is there a specific error you saw?
