By the way, should there be some new tests to ensure that the pull request fixes the issue?