This does make the first-quoted synopsis line a little longer than David had it, but it's still not any longer than several other lines in the CREATE TABLE synopsis. So let's call it good and not let line length minimization push us into a confusing grammar.
