fixed minor bug in push.f90