the syntax as written in the specification is unclear, and is now being fixed.