this issue was fixed in an upload that was done before your report came in. (but: thanks for the report & correct diagnosis & appropriate fix!)
--Barak. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
