diff --git a/lean.bib b/lean.bib
index 76adead9a..a7433e069 100644
--- a/lean.bib
+++ b/lean.bib
@@ -1,14 +1,16 @@
 
 # To normalize:
 # bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib
-
-@article{ ABKNT_2024,
-  title={Categorial foundations of formalized condensed mathematics},
-  DOI={10.1017/jsl.2024.69},
-  journal={The Journal of Symbolic Logic},
-  author={Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz, Adam},
-  year={2024},
-  pages={1-28}
+@Article{         ABKNT_2024,
+  title         = {Categorial foundations of formalized condensed
+                  mathematics},
+  doi           = {10.1017/jsl.2024.69},
+  journal       = {The Journal of Symbolic Logic},
+  author        = {Asgeirsson, Dagur and Brasca, Riccardo and Kuhn, Nikolas
+                  and Nuccio Mortarino Majno di Capriglio, Filippo and Topaz,
+                  Adam},
+  year          = {2024},
+  pages         = {1-28}
 }
 
 @InProceedings{   AGLST23,