Correction of documentation.

_Status_: on going, do not merge yet.