The Dutch should have been playing a man down since the kick to the midsection of Pique in the first half. That should have been a straight red on Holland.
Had it not been the World Cup Final, I think it would have been a straight red card. Given the importance of the match and the fact that it was clearly unintentional, I think it was the correct decision.