[sphinx] Fixing headers

3 jobs for master in 8 minutes and 21 seconds (queued for 6 seconds)