Extra space after `(`