Physician, heal thyself!

I had an erratum in the previous post. It is now rectified. (Were you able to spot it?) Sorry for the confusion. No excuses. But it teaches me not to post here in a hurry (some carpentry work at home, see). At least I healed it myself...