diff --git a/Website/dp2010-abstracts-contents.htm b/Website/dp2010-abstracts-contents.htm
index cc93fa0..52ad1bb 100644
--- a/Website/dp2010-abstracts-contents.htm
+++ b/Website/dp2010-abstracts-contents.htm
@@ -8,6 +8,8 @@
 
 <p>In this paper we consider the broader issue of gaining assurance that an agent system will behave appropriately when it is deployed. We ask to what extent this problem is addressed by existing research into formal veri&#64257;cation. We identify a range of issues with existing work which leads us to conclude that, broadly speaking, veri&#64257;cation approaches on their own are too narrowly focussed. We argue that a shift in direction is needed, and outline some possibilities for such a shift in direction.</p> 
 
+<link rel="Stylesheet" href="DPSstyles.css" type="text/css">
+
 <p><a href="papers/dp2010-01.pdf">Download</a> (PDF, 296 KB)</p> 
 
 <hr>
@@ -20,7 +22,10 @@
 
 <p><strong>Keywords:</strong> context, co-occurrence matrix, semantics, novel image, multi-class</p> 
 
-<p><a href="papers/dp2010-02.pdf">Download</a> (PDF, 3.2 MB)</p> 
+<p class="note">Corrected version uploaded 2010-05-04.</p>
+
+<p><a href="papers/dp2010-02.pdf">Download</a> (PDF, 3.4 MB)</p> 
+
 <hr>
 
 <a name="dp2010-03"></a><h3>2010/03: Norm identification in multi-agent societies</h3>