a bit of garbage collection