Corrected bugs in the debug file.