Minor fixes to the documentation

Merge request reports

Loading