Ditto re. mutating `options`