diff -r b7c9d6e48237 -r f931a2a68ab8 src/Tools/Argo/argo_thy.ML
--- a/src/Tools/Argo/argo_thy.ML	Sun Dec 20 20:49:43 2020 +0100
+++ b/src/Tools/Argo/argo_thy.ML	Sun Dec 20 22:04:47 2020 +0100
@@ -9,7 +9,7 @@
   Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. In ACM
   Transactions on Programming Languages and Systems, 1(2):245-257, 1979.
 
-  Leonardo de Moura and Nikolaj Bj/orner. Model-based Theory Combination. In Electronic Notes
+  Leonardo de Moura and Nikolaj Bjørner. Model-based Theory Combination. In Electronic Notes
   in Theoretical Computer Science, volume 198(2), pages 37-49, 2008.
 *)