Update txttools.h