Fix a gcc warning.

Thanks to Filipe Cabecinhas for the report.