Include missing header

I am sorry, I forgot to include a header in !28 (merged).

Merge request reports

Loading