I'm not sure what would be a good way to document default settings. Perhaps this is redundant -- default values used during intialization are being logged...