K 10 svn:author V 2 pb K 8 svn:date V 27 2008-02-06T08:02:55.000000Z K 7 svn:log V 90 Update fix from rev 1.2. Submitted by: danny at cs.huji.ac.il (author) MFC after: 1 week END