You're lucky that you had area to coast off. Good think you were able to get it fixed quickly too.
On a side note, when you watch professional driver's foot work when they are coming down fast straights, you almost always see them tap the break pedal a few times before they reach the breaking zone. They do this to 1) check for break pedal pressure 2) pump the breaks up so the pedal catches right at the top so they can drive as deep as possible into the turn. Just something interesting if you haven't noticed before