Tue, 05 Apr 2011 19:42:33 +0100Fixing error message incorrectly changed in previous merge.
Mario de Sousa <msousa@fe.up.pt> [Tue, 05 Apr 2011 19:42:33 +0100] rev 284
Fixing error message incorrectly changed in previous merge.