misplaced paren in gloss of existential introduction

[[
The two basic forms of simply valid inference in RDF are, in logical
terms, the inference from (P and Q) to P, and the inference from (foo
baz) to (exists (?x) foo(?x)).
]]
-- http://www.w3.org/TR/2003/WD-rdf-mt-20030123/#entail

I gather that last bit should either be

  inference from foo(baz) to (exists (?x) foo(?x)).

or

  inference from (foo baz) to (exists (?x) (foo ?x)).

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/