Updated syntax.js