Check for EOF when checking read_position()