K 10 svn:author V 5 joerg K 8 svn:date V 27 1996-10-28T23:03:54.000000Z K 7 svn:log V 64 Merge the fix from rev 1.14: don't modify a malloc()ed pointer. END