changes to TextFileInserter.php