Minor documentation changes: what are the defaults, what is mandatory
etc