diff --git a/docs/cmu-user/cmu-user.tex b/docs/cmu-user/cmu-user.tex
index 82438dd505a9770f932a7470d40aafc7e713e4e8..0334d5307ba56d633d8824e388e13012c44d3c8d 100644
--- a/docs/cmu-user/cmu-user.tex
+++ b/docs/cmu-user/cmu-user.tex
@@ -95,6 +95,7 @@ language implementation, programming environment}
 \input{serve-event}
 \input{aliens}
 \input{ipc}
+\input{internet}
 \input{debug-internals}