Hopefully a fix
OKay. It indeed does not leak anymore.