Fix a bad merge from merge 7580b5d.

Is a space needed/safe between "project" and the '('?