comptheory: minor fixes