Syntax

No change from previous versions, only a small improvement to the
syntax.