uncommented EOF command. do we need it?