Minor fix in default header