updated for version 7.2a
diff --git a/src/gui_gtk.c b/src/gui_gtk.c
index 740d4a0..c097545 100644
--- a/src/gui_gtk.c
+++ b/src/gui_gtk.c
@@ -1510,7 +1510,7 @@
 	for (next = p; *next; ++next)
 	{
 	    if (*next == DLG_HOTKEY_CHAR)
-		mch_memmove(next, next + 1, STRLEN(next));
+		STRMOVE(next, next + 1);
 	    if (*next == DLG_BUTTON_SEP)
 	    {
 		*next++ = NUL;