No good reason to add `$options` since it's not used.