(Sending a second time, looks like my first mail did not go through.)

I agree with your suggestion, and your patch looks good to me.

I haven't tested as I don't use StumpWM.
Could any other StumpWM user try this out?

-- 
Pierre Neidhardt
https://ambrevar.xyz/