Update tag-defs.js