small fix in the documentation

Merge request reports

Loading