> This is nicely done. It's fixing a bug so we ought to mention > it in NEWS, otherwise all ok by me. Thanks for all of the previous reviews and suggestions that got us to this point. What's the procedure for doing the tweaks (adding an entry to the NEWS file) now that patch has been accepted? Thanks, Eric