Fixed a compilation error under gcc 4.7