Another update to DBMS.h