Update verisc-labels.json