fix typo

EOF was inserted by online editor, sorry