diff --git a/enforcement-case-studies.tex b/enforcement-case-studies.tex
index 58a85c1311bd6502ad2e24ba4c8305ae0c51bcef..212cef806ba55feeec4fece2ff94905853307495 100644
--- a/enforcement-case-studies.tex
+++ b/enforcement-case-studies.tex
@@ -825,6 +825,11 @@ the distributor and the purchaser of the hardware containing GPLed components.
   of system we are expected to use, and what commands we should run on it.  Such
   instructions are not strictly required, as an obviously-named shell script may
   suffice, but they are helpful in clarifying any ambiguities that may arise.
+
+% FIXME: Spend some  time here (admittedly a digression: maybe refer to
+% another section later?) about how it's ok to specify a specific build
+% environment.
+  
 * Since the instructions didn't mention a specific distro to use, we ran the
   build on an amd64 Debian 6 machine we had, after confirming the packages were
   installed.  In particular, we ran "make", as described in the instructions in