Mon, 18 Jun 2012 15:52:09 +0100 Mario de Sousa fix array bounds check.
Mon, 18 Jun 2012 15:37:37 +0100 Mario de Sousa Fix stupid typos (in calculating array dimension)!
Sat, 16 Jun 2012 07:41:30 +0100 Mario de Sousa Add file missing from previous commit.