Straggling garbage-collector bug resolved