Tue, 12 Jun 2012 17:12:09 +0100 Mario de Sousa Remove potential access to NULL pointer.