cosmetics

Author: kai-e

ReadMe.md

@@ -22,7 +22,10 @@ Recent presentations include
 - "Adventures in Verification Land for Glorified Ring Buffers", Synchron 2021, [slides](http://synchron2021.inria.fr/slides/synchron2021-engelhardt-1.pdf)
 - "Neural Net Validation - classical CS and high school maths to the rescue", Synchron 2021, [slides](http://synchron2021.inria.fr/slides/synchron2021-engelhardt-0.pdf)
 
-Errata for ![the data refinement book](pics/dRE1998.gif "cover of the data refinement book")the data refinement book: [pdf](pubs/dRE1998/errata.pdf).
+
+
+![the data refinement book](pics/dRE1998.gif "cover of the data refinement book")
+Errata for the data refinement book: [pdf](pubs/dRE1998/errata.pdf).
 
 
 ### Specs/Code/Proofs