In general the standard is to edit to remove errors like that to the extend that the edit doesn’t invalidate existing comments.
Often simply posting: “Thanks for pointing out the error, I fixed it.” allows any further reader to see that the the person pointing out an error was making a valid point while at the same time correcting the error.
In general the standard is to edit to remove errors like that to the extend that the edit doesn’t invalidate existing comments. Often simply posting: “Thanks for pointing out the error, I fixed it.” allows any further reader to see that the the person pointing out an error was making a valid point while at the same time correcting the error.