Improved and defined more precisely textfile_sizes().