Fix a gcc 4.2 warning.