Fix vclock type error.