updates to spec regarding config-file elements.