Fix compiling error (failed with certain versions of the compiler)