Indeed, you're right: I no longer need it. But I decided to test it so
that people can make use of the patch you suggested.