fix a bug
Really fixed bug #1
push now
push
push!