binding correctness mt fail fix