Small fix in first headers