with Giulio remarks: check against memory leaks