diff --git a/etc/Makefile.gappkg b/etc/Makefile.gappkg
index 6e3491e287..2663dcb96c 100644
--- a/etc/Makefile.gappkg
+++ b/etc/Makefile.gappkg
@@ -39,7 +39,7 @@ ifndef GAP_KERNEL_MAJOR_VERSION
   KEXT_CXXFLAGS += -I$(GAP_LIB_DIR)/src
 endif
 
-# honor used supplied flags
+# honor user supplied flags
 KEXT_CFLAGS += $(CPPFLAGS)
 KEXT_CFLAGS += $(CFLAGS)
 KEXT_CXXFLAGS += $(CPPFLAGS)
diff --git a/etc/Makefile.gappkg.simple b/etc/Makefile.gappkg.simple
index 712a7913c3..88da2de982 100644
--- a/etc/Makefile.gappkg.simple
+++ b/etc/Makefile.gappkg.simple
@@ -36,7 +36,7 @@ ifndef GAP_KERNEL_MAJOR_VERSION
   KEXT_CXXFLAGS += -I$(GAP_LIB_DIR)/src
 endif
 
-# honor used supplied flags
+# honor user supplied flags
 ALL_CFLAGS := $(KEXT_CFLAGS) $(KEXT_CXXFLAGS) $(CPPFLAGS) $(CFLAGS) $(CXXFLAGS)
 ALL_LDFLAGS := $(KEXT_LDFLAGS) $(LDFLAGS)