debug on double push