There was no correction done manually, but in the infinite complexities of what a SQL database does, maybe it did so itself, but I doubt it. I guess now we need to talk about what to do to make this up to you guys (the ones that played TIE, the ones that played crunch should be punished to the same extent). Any ideas?