Thanks for your comment, Andrew. Note that the branch that I have linked to this bug includes a fix for the problem that you mention as well.
Thanks for your comment, Andrew. Note that the branch that I have linked to this bug includes a fix for the problem that you mention as well.