Alan, per the usual, has his facts all tangled up. I've forgotten all the details but IIRC, the hand was never doubled. It was just the route one went to turn a $400 hand into a $4000 hand. It somehow allowed the final hand to be switched to a higher denom because....with the DU activated the hand wasn't over yet.