Thanks. I mistakenly closed this (previously reported) bug, but I must have forgotten to make the change. I've reopened the bug, which I'll fix in the next release.
-- Eric Cooper e c c @ c m u . e d u -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
