(I was about to send this patch with report-emacs-bug when I saw your
reply; should I go ahead with this report?)