draining

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}