Bug spotted by Roberto Foglietta: at EOF readall() should return count, not len.
1 file changed