Ah, I had actually completely forgotten about the genesis of the thread. As often I was too keen on making my own point and did not really engage with the issue at hand. Considering your points I think you are right - the difference does not make sense here. Thanks for the discussion.