Correct debugging info