Fix a C++ syntax that isn't standard and therefore does not work with all compilers.