why the heck would an “options” class be mutable? oh … nevermind :-(