diff --git a/makefile b/makefile
index 2c68f45..9be2392 100644
--- a/makefile
+++ b/makefile
@@ -1,6 +1,5 @@
-# makefile for building Lua
-# see INSTALL for installation instructions
-# see ../Makefile and luaconf.h for further customization
+# Developer's makefile for building Lua
+# see luaconf.h for further customization
 
 # == CHANGE THE SETTINGS BELOW TO SUIT YOUR ENVIRONMENT =======================
 
diff --git a/manual/manual.of b/manual/manual.of
index 2eadbda..4d1794f 100644
--- a/manual/manual.of
+++ b/manual/manual.of
@@ -5780,7 +5780,7 @@
 @APIEntry{void luaL_pushfail (lua_State *L);|
 @apii{0,1,-}
 
-Pushes the @fail value onto the stack.
+Pushes the @fail value onto the stack @see{libraries}.
 
 }