I'm working with V4MD, version 1.11.0. The docs state that Flush() "Flushes all unsaved information of the database from cache to disk." If that is true, how come the modified property of the db files does not get changed until after ClsoeDatabase() is called?