Indeed, “do you really mean that?” would be useful, though I would always have the user type the correction themselves, because too many users would select “Yes

Indeed, “do you really mean that?” would be useful, though I would always have the user type the correction themselves, because too many users would select “Yes” without thinking or attentively verifying.