On 07/02/20 09:46 -0500, Patrick Palka wrote:
>Fixed and committed with that change.  Thanks for the review!

I've just tested and pushed this fix.