Where is the usage "for x in a b c; { echo $x; }" documented in bash man page?

[Peng Yu]

Hi,

The following code works in bash.

for x in a b c; { echo $x; }

But I only find the following in bash man page. Does anybody know
where the above usage is documented? Thanks.

"for name [ [ in [ word ... ] ] ; ] do list ; done"

-- 
Regards,
Peng