[947] Fix: Make GCC 4.1 happy.