Debug record correction