corrected EOF syntax