Silence GCC warning.

The code was correct, but GCC is not enough clever.