Doc changes in SYNTAX file