debugging second push