Correct debug trace