Change to make code compile on gcc 4.7.3.