Demoted level of end-of-file tags