diff --git a/doc/dependency.tex b/doc/dependency.tex
index 0a74abc5..13059fec 100644
--- a/doc/dependency.tex
+++ b/doc/dependency.tex
@@ -173,7 +173,7 @@ installing packages in the reverse order of a topological sort
 guarantees that no package is installed before all of its dependencies
 are installed. Thus, this yields a consistency-preserving plan.
 
-\subsection{Conditional dependencies}
+\subsection{Dependency conditions}
 
 In the PISI specification, we allow a dependency to specify a local
 condition, for instance a program may require a dependency on