diff --git a/src/doc/new-doc/extensions/ffi.txi b/src/doc/new-doc/extensions/ffi.txi
index 69855423f..3ce44c7d6 100644
--- a/src/doc/new-doc/extensions/ffi.txi
+++ b/src/doc/new-doc/extensions/ffi.txi
@@ -6,7 +6,7 @@
 @menu
 * What is a FFI? :: FFI introduciton
 * Two kinds of FFI :: ECL's FFI brief description
-* Foreign objects ::
+* Foreign objects :: Handling the foreign objects
 * Higher level interfaces :: Usage examples
 * SFFI Reference :: Static FFI reference
 @c * LFFI Reference :: Library FFI reference /dlopen/
diff --git a/src/doc/new-doc/extensions/ffi_dffi.txi b/src/doc/new-doc/extensions/ffi_dffi.txi
new file mode 100644
index 000000000..c865c6193
--- /dev/null
+++ b/src/doc/new-doc/extensions/ffi_dffi.txi
@@ -0,0 +1,9 @@
+@node DFFI Reference
+@subsection DFFI Reference
+@cindex Dynamic foreign function interface
+
+@lspindex ffi:*use-dffi*
+@defvr {FFI} {*use-dffi*}
+This variable controls whether @code{DFFI} is used or not.
+@end defvr
+