Comma after "provided"?