header doc fix

6 jobs for brice-check in 3 minutes and 19 seconds (queued for 1 second)