Please ignore my last feature suggestion. Although not indicated, hitting "enter" does enter the correction, so my suggestion to make it a default is redundant. However, we could consider highlighting "correct" to clearly show that it is the default option if we hit "enter."