Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Jun 2011 11:14:13 +0100] rev 326
Fix what I think is a bug (has not yet manifested itself).
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Jun 2011 11:12:02 +0100] rev 325
Merging with Lauren't recent change.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Jun 2011 11:05:13 +0100] rev 324
Merging two previous commits.
Mario de Sousa <msousa@fe.up.pt> [Fri, 10 Jun 2011 10:13:15 +0100] rev 323
Clean up some code.