Correct debug push