spacing

_research/concurrency.md

@@ -24,9 +24,7 @@ logics, and applying our work to real-world concurrent programs.
 This research is supported by the EPSRC programme grant
 [EP/K008528/1]: [REMS: Rigorous Engineering of Mainstream
 Systems][REMS] and the EPSRC programme grant [EP/H008373/2]: [Resource
-Reasoning]. 
-
-We also have substantial collaboration with [Thomas Dinsdale-Young],
+Reasoning]. We also have substantial collaboration with [Thomas Dinsdale-Young],
 previously a PhD student and RA of Gardner and now an independent
 research fellow at the University of Aarhus.
 

_research/javascript.md

@@ -37,9 +37,7 @@ JSIL to develop front-ends for the CBMC and Infer verification tools.
 
 This research is supported by the EPSRC/GCHQ grant [EP/K032089/1]:
 [Certified Verification of Client-Side Web Programs][1] and the EPSRC
-programme grant [EP/H008373/2]: [Resource Reasoning].  
-
-We also
+programme grant [EP/H008373/2]: [Resource Reasoning]. We also
 interact extensively with [Arthur Charguéraud], [Alan Schmitt] and
 [Martin Bodin] of INRIA, who are supported by the [AJACS] project.