this a duplicate of the bug #316408, the fix of the bug

is in the branch terietor/BUG/316408.

If everything goes well and nobody finds something wrong with

this fix by Monday morning the branch will be merged in master.