change SYNTAX to SPECIFICATION