changed push/pop debugging output