Sorry for that. Tried to amend a commit note before realizing that I've no chance to get that change online (unnoticed). I am currently getting bugged by a guy wanting me to remove a thanks note. (He doesn't understand that these changes are actually permanent.) Again, sorry. Regards, Michael