doc: minor fixes in the doc.
licence headers: minor update of the headers.