Needed by DiffLogger