diff --git a/README.org b/README.org
index 6e5cfc1..0afd2bb 100644
--- a/README.org
+++ b/README.org
@@ -7197,10 +7197,10 @@ Denote is meant to be a collective effort.  Every bit of help matters.
   Jürgen Hötzel, Kaushal Modi, Kai von Fintel, Kierin Bell, Kostas
   Andreadis, Kristoffer Balintona, Kyle Meyer, Laurent Gatto, Lucas
   Quintana, Maikol Solis, Marc Fargas, Marco Baringer, Matthew Batson,
-  Matthew Lemon, Matthieu Muller, Matto Fransen, Noboru Ota (nobiot),
-  Norwid Behrnd, Octavian, Pavlo V. Lysov, Peter Prevos, Philip
-  Kaludercic, Ryota, Samuel W. Flint, Quiliro Ordóñez, Stephen R.
-  Kifer, Stefan Monnier, Stefan Thesing, Thibaut Benjamin, Tobias
+  Matthew Lemon, Matthieu Muller, Matto Fransen, Michael Korat, Noboru
+  Ota (nobiot), Norwid Behrnd, Octavian, Pavlo V. Lysov, Peter Prevos,
+  Philip Kaludercic, Ryota, Samuel W. Flint, Quiliro Ordóñez, Stephen
+  R. Kifer, Stefan Monnier, Stefan Thesing, Thibaut Benjamin, Tobias
   Lidman-Strauss, Tomasz Hołubowicz, TomoeMami , Vedang Manerikar,
   Wesley Harvey, Yann Dutrieux, Zhenxu Xu, alvmts, arsaber101,
   bplubell, bryanrinders, dulikiles, eum3l, experimental-code-86,