TVector: fixed a bug in Push()