We should probably still make a minimal effort not to leak memory