-The stock configuration for the 'ion3' executable loads all of the modules
-mentioned above except \file{mod\_dock} and file{mod\_mgmtmode}.
-The stock configuration for the 'pwm3' executable (which differs from the
-'ion3' executable in a few configuration details, such as Xinerama usage)
+The stock configuration for the \file{ion3} executable loads all of the
+modules mentioned above except \file{mod\_dock}.
+The stock configuration for the \file{pwm3} executable (which differs
+from the \file{ion3} executable in a few configuration details)