Speaking of extra, typing ;) can insinuate similar condescending depending on context, and I had read it as such. Pardon me if that wasn't the case.