minor refinements that hopefully make the configuration better in some sense...
ignore private