Anyway, good fix (and I am pleasantly surprised to see that FileBox is getting random updates from random folks).