added EOF character