Doc: corrections after review