some renaming in the internals of the preferences dialog