plug another memleak reported by Martin Kluge