make the DDLog correct