Hopefully fixes the double push bug.