Fix compilation error on master

Tested with gcc version 4.7.2.