diff --git a/ESP32-Console/build/.ninja_lock b/ESP32-Console/build/.ninja_lock
new file mode 100644
index 000000000..e69de29bb
diff --git a/ESP32-Console/main/cmd_gpio_get.h b/ESP32-Console/main/cmd_gpio_get.h
index 87f77ef2a..29343c5bf 100644
--- a/ESP32-Console/main/cmd_gpio_get.h
+++ b/ESP32-Console/main/cmd_gpio_get.h
@@ -40,7 +40,7 @@ static int exec_gpio_get_cmd(int argc, char **argv) {
             //ESP_LOGI("gpio-get", "GPIO # %i", gpio_get_args.gpio->ival[0]);
             //gpio_dump_io_configuration(stdout, 1ULL << gpio_get_args.gpio->ival[0]);
             printf("GPIO #%d level is %d\n", gpio_get_args.gpio->ival[0], gpio_get_level(gpio_get_args.gpio->ival[0]));
-            printf("\n%d", gpio_get_level(8));
+            printf("\n %d ", gpio_get_level((int)8));
             s = 0;
         }
         // Dump GPIO configuration information.