Small fix in Header.java