Fixed a compilation issue with gcc.