diff --git a/_people/gardner.md b/_people/gardner.md
index 2427e53eac45477adc359ac2cb9e759618b83333..dc4a983e819e3cf611f360674fb026db9af8b8ee 100644
--- a/_people/gardner.md
+++ b/_people/gardner.md
@@ -16,8 +16,8 @@ and leader of the Program Specification and Verification Group.
 Her current research focusses on program verification: in particular, reasoning about Web programs 
 (JavaScript and DOM) and reasoning about concurrent programs.
 
-She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992.  
-She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. 
+She completed her PhD thesis, supervised by Professor Gordon Plotkin FRS at Edinburgh in 1992. She moved to Cambridge in 1998 
+on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner FRS. 
 She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of
 Engineering Senior Fellowship from 2005 to 2010 at Imperial. She was the  Director 
 of the [Research Institute in Automated Program Analysis and Verification](http://www.verificationinstitute.org),