diff --git a/appendix.tex b/appendix.tex
index 26319fce139767016e8e547c4ce071c198f546dc..db8118588a94e652574393ad4af34d4668e03983 100644
--- a/appendix.tex
+++ b/appendix.tex
@@ -118,7 +118,11 @@ Okay, so you know how to make a character by now.  But just for reference, let's
   \printglossary[type=symbols]
 }{}
 
-\printglossary[type=\acronymtype,style=mcolindex, title=Abbreviations, nonumberlist]
+\printglossary[
+  type=\acronymtype,
+  style=mcolindex,
+  title=Abbreviations,
+  ]
 
 \printglossary[style=mcolindex]
 
diff --git a/config b/config
index 4c467bc8ca3fc83569e0d2b9d736b4142e97bf97..943c9f418736e633abc0cd865323b3669ded8e84 160000
--- a/config
+++ b/config
@@ -1 +1 @@
-Subproject commit 4c467bc8ca3fc83569e0d2b9d736b4142e97bf97
+Subproject commit 943c9f418736e633abc0cd865323b3669ded8e84