I see Leo Prikler has already sent a patch (48304@debbugs.gnu.org).