Clarifying text change for options dialog (Thanks, Angelo Borsotti!)