Hey Ron, When sending new revisions, please use the xxxxx@debbugs.gnu.org address that has been attributed to your patch. Otherwise, a new ticket is opened. I merged both tickets and pushed! Thanks for this first contribution :) Mathieu