Fluid probably got too hot if it was stock stuff. The pads may be well worn causing a need for more travel on the pedal if they were stock.
I'd suggest going to a better pad and higher spec fluid for the next time....you'll get more out of the experience. Or even better if you have cash to burn opt for JCWs or a BBK!
Obly problem with BBKs is you need to take some glue with you so you can stick your face back on when it gets sucked onto the screen under hairpin braking
