Thanks for the bug report! Unfortunately I don’t have time to fix it before the deadline, but will do it later.
