Bugfix: another exception was broken. (Patch by Helmut Jarausch).