I know the comment was probably fine, but overall it seemed like it could be read as unnecessarily snarky and hence lower the tone—PMing you the correction would have been a better move.
All in all I think that the standard for discussion here on LessWrong could be increased a lot if people stopped giving “wiseass” replies to things, were more forgiving of minor errors (while still pointing them out), and so on.
Thanks, fixed. I appreciate the correction… no need to retract your comment! :)
I know the comment was probably fine, but overall it seemed like it could be read as unnecessarily snarky and hence lower the tone—PMing you the correction would have been a better move.
All in all I think that the standard for discussion here on LessWrong could be increased a lot if people stopped giving “wiseass” replies to things, were more forgiving of minor errors (while still pointing them out), and so on.
Be the change you want to see on LessWrong!
FWIW, it didn’t come off as snarky at all to me—I read it as exactly the sort of polite correction that I like on LW.