bug#57241: Commit b87400c broke master

[Jim Porter]

On 9/1/2022 1:04 AM, Mattias Engdegård wrote:
> 1 sep. 2022 kl. 07.55 skrev Jim Porter <jporterbugs@gmail.com>:
>
> > The attached patch fixes this for me. Does this seem like a reasonable way to 
> > go about it?
>
> Looks reasonable. Let's give it a try!

Ok, merged as 4db596d316263a12bacf1632092a04032a8cde1c.