diff --git a/runtime/doc/Makefile b/runtime/doc/Makefile
index 6bbcbc3..d36f2ce 100644
--- a/runtime/doc/Makefile
+++ b/runtime/doc/Makefile
@@ -32,7 +32,6 @@
 	ft_ada.txt \
 	ft_sql.txt \
 	gui.txt \
-	gui_w16.txt \
 	gui_w32.txt \
 	gui_x11.txt \
 	hangulin.txt \
@@ -167,7 +166,6 @@
 	ft_ada.html \
 	ft_sql.html \
 	gui.html \
-	gui_w16.html \
 	gui_w32.html \
 	gui_x11.html \
 	hangulin.html \
@@ -388,9 +386,6 @@
 russian.txt:
 	touch russian.txt
 
-gui_w16.txt:
-	touch gui_w16.txt
-
 gui_w32.txt:
 	touch gui_w32.txt
 
diff --git a/src/version.c b/src/version.c
index 778d1fc..0357cf5 100644
--- a/src/version.c
+++ b/src/version.c
@@ -749,6 +749,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1387,
+/**/
     1386,
 /**/
     1385,