2008-07-14minor change to remove gcc warning
insilmaril [Mon, 14 Jul 2008 09:16:48 +0000] rev 717
minor change to remove gcc warning