Remove deleted setting.

Went a little bit overboard in 0388f9b1d84542acc5f077b09cd17c4511a88f79
and deleted a setting that is used.
Version 1.9