Small bug on header version