Bug fix in the EndOfFile filter