Fix set operation: unquote vclock, otherwise the symbol is set in the header