Fix HUGE memoryleak, which occured in very special circumstances: KRDC ate several GB of memory in a couple of minutes...

Thanks to Apol for his hints and Mark Williamson for reporting it.