bugfix: type error in memleak.py