pedantic documentation fix

Merge request reports

Loading