comptheory: cleanup