#786 repair a false positive (? Joel) memory leak + warning