small corrections in "init.php" of 'debug' plugin