How does it happen that two people ask the same question in a comment at roughly the same time... ;-)