This is to use the automatic feature of match.arg, so there won't be any mismatch if we later change the CorrectionType options. I added "several.ok = TRUE" as all options can be selected
sorry, you will see that other edits don't allow "several.ok = TRUE" for CorrectionType, but I keep it for WhatToCorrect
sorry, you will see that other edits don't allow "several.ok = TRUE" for CorrectionType, but I keep it for WhatToCorrect