Minor fix of headers.