[dukeluke]

This is right. Sorry about that. In the future, I'll try to avoid editing a comment after someone else has commented on it.

[barking]

I think it's fair enough editing comments like you did, mostly it doesn't cause any confusion.