Agreeing with removed remarks.
It's a nasty bug, can't find a quickfix.