On Jun 15, 2011, at 6:15 AM, Jay Foad wrote: >> So how about the attached patch? OK to commit? > > Or here's a different way of patching it, if you prefer. This looks good. Please commit, thanks! - Doug