Fixed typo

team.html

@@ -138,7 +138,7 @@ <h2>Bernhard Gleiss</h2>
 <h2>Ahmed Bhayat</h2>
 <img alt="Ahmed Bhayat" src="/img/abhayat.jpg">
 <p>
-{{ bhayat }} (University of Manchester) completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles. He subsequently held a postdoctoral position on the <a href="https://scorch-project.github.io/about/">ScorCH</a> project. His interests include induction in saturation, program verification, and higher-order reasoning.
+{{ bhayat }} (University of Manchester) completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles. He subsequently held a postdoctoral position on the <a href="https://scorch-project.github.io/about/">SCorCH</a> project. His interests include induction in saturation, program verification, and higher-order reasoning.
 </p>
 </li>