diff --git a/source/Device.en.tex b/source/Device.en.tex
index 48d20b64c49688e0bd258daa20ce9db79a873a5c..7409c28254c49852411ae8aec9b14def112c4292 100644
--- a/source/Device.en.tex
+++ b/source/Device.en.tex
@@ -5,7 +5,7 @@
   \begin{definition}
     To model properties of physical objects, we assume a \defi{device} under
     consideration, which is determined by a collection of
-    \defii[name=device-property]{device properties}.
+    \defii[name=device-property]{device}{properties}.
   \end{definition}
 \end{mhmodnl}
 \end{document}