Yes it can be removed. Originally I planned to do rounding of values here. However I think we decided to round the value before writing, so treating header separately is obsolete