Fixing the debug monitor