On a side note, just out of curiosity. Assume the villain didn't have KK and folded. Would you have won here or doubled up the short stack?