Fix example of "vmc push"