diff --git a/enforcement-case-studies.tex b/enforcement-case-studies.tex
index 58a85c1..212cef8 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