Documentation v15 help: Syntax error in example of @DEC