Fixing gcc 4.4 compilation error