small debug change in dbtool