Fix a typo in cleanup()