Doc update  (just formatting and typos)