Make Corrector's spec examples more readable
Restore the rest of the auto-correct actions