Thanks for the info! I will try with Prisoner next time then.
Nevertheless, the bug is nasty and needs fixing.