The journal made a mistake, an unintentional one. It got corrected and we should just move on. As for the author, instead of outing him and humiliating him, he

The journal made a mistake, an unintentional one. It got corrected and we should just move on. As for the author, instead of outing him and humiliating him, he should at least be commended for trying hard on a hard problem-- you can't do that without dedication and zeal. So why so snarky?