On Thu, Jun 16, 2011 at 12:31 PM, David Reitter wrote:<div><br></div><div>&gt; I agree.  I have made the change (rev 100598).  Please try it out.<br><br></div><div>Builds fine.  Thanks for installing the fix.</div>