K 10 svn:author V 7 trhodes K 8 svn:date V 27 2002-12-12T05:25:39.000000Z K 7 svn:log V 147 Fix a typo that was pointed out in a misc PR. This typo was already fixed in current. Pointed out by: Dirk Gouders END