Update DBCfmt.h