vector clock fix