Fixing mistakes of EOF