Follow-up from MR 27

Eduardo Rodriguesrequested to merge
erodrigu-follow-mr-27 into master

Follow-up on some trivial comments to !27 (merged) that came in after the merge.

Merge request reports