Thanks for pointing this out to us. Since you already have a suggested fix for this, would you be interested in submitting that on GitHub as a Pull Request? If you are not interested in doing so, I can go ahead and put in a report about this issue to have it looked into further and corrected.