fixup: unmatched ')'

15 jobs for simple_minimize in 29 minutes and 17 seconds (queued for 9 seconds)