Potential fix for EOFException while writing to thl file