dev+: fix eventual memory leak