Update syntax.txt