@jeffkaufman looking back, this comment was meant to explain what I had fixed here - I will remove it, as it has no use any more.