Thanks for pointing it out.

It's one of the downsides of autism that understanding the intent of other people can be hard or impossible, so I'm always grateful for hints like that.