bug fix in method push

See change; there was a typo :)