Minor fix to header.json