On your comment, is fix 715fb2f50d0ec840000f2c0fa364b27880b25442 solving that issue?