This would make `options` non-optional.