Oh, come along - give over now with the schoolmarmish 'Tut-tutting' - it's been done already and the thread's moved on.

Frankly I find it jolly heartening to see the initial (brief) spat has been thoroughly resolved in such mutual good humour and friendliness - while by sorry contrast there are many other people (I've met them many times myself) who would definitely prefer to harbour bitter little grudges all their lives..