Wed, 25 Apr 2012 16:21:14 +0100Add clarifying comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:21:14 +0100] rev 533
Add clarifying comment.

Wed, 25 Apr 2012 15:56:45 +0100Remove access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:56:45 +0100] rev 532
Remove access to NULL pointer.