We will try to find why it did happen and fix it. Thank you very much for reporting bugs. Sometimes they are really hard to find :-)
