I attached a patch to ticket 19365 over a week ago to fix the bug it indicates, but the ticket is still open. If someone with commit privileges could apply it and close the ticket, I would be much obliged. Thanks, Kris Henriksson