Updated vclock redundancy section.