Formatting
Temporarily fix bugs with dolphin by reverting previous change about register initialization