Minor fix of header.