diff --git a/src/gui/gui-buffer.c b/src/gui/gui-buffer.c
index d1912585c..e32cc50c9 100644
--- a/src/gui/gui-buffer.c
+++ b/src/gui/gui-buffer.c
@@ -92,7 +92,8 @@ char *gui_buffer_properties_set[] =
 { "unread", "display", "print_hooks_enabled", "number", "name", "short_name",
   "type", "notify", "title", "time_for_each_line", "nicklist",
   "nicklist_case_sensitive", "nicklist_display_groups", "highlight_words",
-  "highlight_tags", "input", "input_pos", "input_get_unknown_commands",
+  "highlight_words_add", "highlight_words_del", "highlight_tags", "input",
+  "input_pos", "input_get_unknown_commands",
   NULL
 };