After rebooting, this inconsistent behavior has gone away, and I can't reproduce it, so go ahead and close this bug.
-- 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]
