Maybe I missed something but it sounds like options doesn't need to be mutable here?