debugging the push