diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index 187e1744a..5be847f5f 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -581,10 +581,7 @@ public class BaseNoGui {
     if (!indexFile.isFile()) {
       File distFile = findDefaultPackageFile();
       if (distFile != null) {
-        // If present, unpack distribution file into preferences folder
         ArchiveExtractor.extract(distFile, BaseNoGui.getSettingsFolder(), 0);
-
-        // TODO: The first distribution file may be removed after extraction?
       } else {
         // Otherwise create an empty packages index
         FileOutputStream out = null;