comma after "provided"