This is not necessary because it is inferred by the `@option opts` keywords below