Via Titus Brown, yet another published result retracted because of a bug in code.