fix test_mixed_tlog_formats