Bugfix for setting Vclock