(I took this out since it seemed unneeded vs. just leaving `settings` uninitialized)