Trample not calculated correctly when instant was used to reduce HP of blocking creatures.

My opponent had 2 blockers I had a large trampling creature.

After blockers were assigned but before damage I used 2x abrade to take a total of 6 HP of his blockers. Expected result is that at damage resolution 6 points of trample would get through to the player.