fix a bug on push function