Thu, 01 Feb 2007 11:31:46 +0100 mario Added some comments. Fixed some accesses to potential NULL pointers.