taxonomy.json: minor addition