puts "Export to TEX file was done"
    set filesize [file size ${aFile}]
    puts "Size of TEX file = $filesize"
-       if { $filesize >= 1500 } {
-          puts "Faulty : Export to TEX file was done but size of file is incorrect"
-          }
-          } else {
-             puts "Faulty : Export to TEX file was not done"
-             }
+   if { $filesize > 1500 } {
+      puts "Faulty : Export to TEX file was done but size of file is incorrect"
+   }
+} else {
+   puts "Faulty : Export to TEX file was not done"
+}