Demoted heading level of end-of-file tag