diff --git a/en_US.ISO8859-1/books/handbook/cutting-edge/chapter.sgml b/en_US.ISO8859-1/books/handbook/cutting-edge/chapter.sgml
index f1e7ef1657..b73ccf55ab 100644
--- a/en_US.ISO8859-1/books/handbook/cutting-edge/chapter.sgml
+++ b/en_US.ISO8859-1/books/handbook/cutting-edge/chapter.sgml
@@ -1070,11 +1070,11 @@ Script done, …
For example, if you ran:
- &prompt.root; make -DNOPROFILE=true buildworld
+ &prompt.root; make -DNOPROFILE buildworld
you must install the results with:
- &prompt.root; make -DNOPROFILE=true installworld
+ &prompt.root; make -DNOPROFILE installworld
otherwise it would try to install profiled libraries that
had not been built during the make buildworld