(file_read_at) Fix behavior of read when position is past EOF.