Added: flushToDisk, more diagnostic output.