remove obsolete config option for toplevel