add debug message for EOF