Bringing syntax up-to-date