Update NASIL.txt