diff --git a/c/Main b/c/Main
index f96827eef5d657fb38e3c9c3f0fb697e06f48114..d56a44de93797be574f1c95b8b88a14014c5dd31 100644
--- a/c/Main
+++ b/c/Main
@@ -1337,7 +1337,7 @@ int main(int argc, char * argv[])
 
   #ifndef REMOTE_HOTLIST
 
-    /* Save the hotlist */
+    /* Save the hotlist, if required */
 
     #ifdef TRACE
       if (tl & (1u<<5)) Printf("main: Calling hotlist_save\n");
@@ -1347,7 +1347,7 @@ int main(int argc, char * argv[])
 
   #endif
 
-  /* Save the global history */
+  /* Save the global history, if required */
 
   #ifdef TRACE
     if (tl & (1u<<5)) Printf("main: Calling history_save\n");