Fix test of pull request #4113