Asides from that, why post a correction here? Only other HN readers are going to see it, which inherently means you aren't writing the comment in the hopes of them fixing it, but to show the error to other commenters. Perhaps malicious was the wrong term, but your comment certainly wasn't trying to help them improve their copy.