Bug fixed in inputfilevactor generation; error message modified in the
case of empty file.