(hopefully) finishing up EOFFilter
clean-up after finishing EOFFilter