Tue, 12 Jun 2012 17:15:24 +0100Fix typo (thanks Manuele)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:15:24 +0100] rev 586
Fix typo (thanks Manuele)

Tue, 12 Jun 2012 17:12:09 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:12:09 +0100] rev 585
Remove potential access to NULL pointer.

Tue, 12 Jun 2012 17:07:40 +0100fix error message.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:07:40 +0100] rev 584
fix error message.