now seems the bug is fixed (4.22)