[Patch] More fixes for Martin's issue

[Paolo Carlini]

Paolo Carlini wrote:

> reading back 1,000,000 integers from 0 to 999,999 with:
>
>  std::ifstream in("input_test");
>  for (int j, i = 0; i < 10000000; ++i)
>    in >> j;

Ehm, of course we are talking about 10,000,000 integers, from
0 to 9,999,999.

Paolo.