Subject: Already fixed

From: "Gilbert Harman" <[email-masked]>
Date: Thu, 21 Aug 2008 14:15:11 -0400

This is now fixed in today's version at noon, Eastern Standard Time, US.

 gil