readme typo

Author: scauligi

README.md

@@ -7,7 +7,7 @@ that need to be free from timing side channels.
 
 ## Useful links:
 
-- [Online demo of code gen](http://fact.sysnet.ucsd.edu:10240/) (thanks to [gobolt](https://github.com/mattgodbolt/compiler-explorer))
+- [Online demo of code gen](http://fact.sysnet.ucsd.edu:10240/) (thanks to [godbolt](https://github.com/mattgodbolt/compiler-explorer))
 - [FaCT case studies / evaluation](https://github.com/PLSysSec/fact-eval)
 - [Haskell embedding](https://github.com/PLSysSec/inline-fact)
 - [Python embedding](https://github.com/PLSysSec/CTFFI)