Good call. I implied that from the very few other reasons I could think of for writing such a comment.
But yes, thank you for correcting me.
Regardless of the thinking behind it - implied or intended - the outcome was still an unnecessarily snarky comment.