It was an unfortunate (and terrible) bug, but you have to admit the Dolphin team's response has at least been open and efficient.