Fix again for fffbcba0b. We should keep original env.update() return value type as list-of-docnames-that-ordered-in-order-to-read.