K 10 svn:author V 7 wollman K 8 svn:date V 27 1995-06-16T16:57:20.000000Z K 7 svn:log V 82 Fix pruning bug described in PR 524. Submitted by: Soochon Radee END