added a EOF