fix the bug in push-problem