Update not_empty.txt