Rename `settings` to `options` in the code.