add debug messages for EOF