It's better to avoid having the option string duplicated, lest we forget to modify them in sync in the future.