fixed a problem on the vero push