Make currentConfig directly return its value rather than an Option.