Adjust a comment

Ian Jacksonrequested to merge
Diziet/arti:comment into main

Noticed this while reviewing !426 (merged)

Will ask for review from @nickm since he wrote this.

Merge request reports