More extra spaces next to parens (here and elsewhere in this file).