plug memory leak reported by Kim Schultz & Martin Kluge