Nothing. It's a good comment. Sometimes good comments get downvoted initially. It looks like yours recovered into the positive range at least. Try not to take downvotes (especially early ones) personally. It's impossible to induce everyone to take pithy comments in particular exactly the way you intend.
(I think we are agreeing!)
What should I have said / done?