modify vclocks language