Ok thanks for the report and sorry for the troubles it causes. That should fix it:
Will try to merge it on Monday.