K 10 svn:author V 7 rodrigc K 8 svn:date V 27 2005-11-14T13:35:08.000000Z K 7 svn:log V 106 Eliminate coredump problem introduced by last commit. Noticed by: Guido van Rooij END