Thank you for reporting this issue, and for the detailed explanation. A fix is now out on develop
develop
