r12477: Remove a gcc -O6 warning