Thank you for this bug report.
This is a known issue and we will try to fix it as soon as possible (though the involved changes does not seem to be so simple).
Thank you for this bug report.
This is a known issue and we will try to fix it as soon as possible (though the involved changes does not seem to be so simple).