hopefully remove EOF