K 10 svn:author V 3 mux K 8 svn:date V 27 2003-08-20T08:24:49.000000Z K 7 svn:log V 38 Fix build by correcting a wrong cast. END