more minor tweaks; generate TXT format