The red card was given on the basis that it was inside the box, so clearly an error by the ref (based on the double jeopardy rule) ironically he got it right by mistake. incidentally, if he'd got it wrong the other way round and only given him a yellow, is he then allowed to change it to a red...