typo

push/pop typo