I just committed a fix for this issue as another issue that stemmed from the same problem. Thank you for this report!
I just committed a fix for this issue as another issue that stemmed from the same problem. Thank you for this report!