Sorry. I was typing, got distracted and submitted before I meant to. I thought I had edited pretty quickly, normally I put an edit tag if I think too much time had elapsed.

I was just blaming it on that. In reality my comment was making a trivial claim rather than a good observation.