bug fix in method push