CS: There should be no space before `(`