Issue #133: getting rid of DB_UNDO diagnostic printing