minor fix to garbage collection