Minor fix to header.