Header should be a diagnostics one.