Andreas Enge Tue, 19 Feb 2019 14:58:14 -0800
The bug has apparently been fixed in the meantime, I cannot reproduce it any more.
Andreas