Update some parts of syntax.txt