Thank you for the report! It has been noted and fixed. We will release a patch for that as soon as possible.