On Thu, May 29, 2008 at 10:05:37AM -0700, Marc VanHeyningen wrote: > Another small step toward Coverity cleanness, although admittedly in a > rather unlikely corner case. Pushed - thanks ! Jeremy.