also unbreak Settings -> Advanced Options...