I think the commission reported it as a KO however, so that is what it should be listed as, unless we are in error. This is similar to the argument about the knockout of Roy Jones by Antonio Tarver, which looked like a TKO but was a KO.
Remember, that the referee can wave the count off, and the bout can still be considered a KO "officially".