Replaced 'vector clock' with 'vclock'