Update txdb.h