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