Fix/missing hearders

Merged François Grisez requested to merge fix/missing_hearders into release/2.0

Merge request reports