Fix options.
Default and initial value are different, and confusing them is bad.