Fixed a GCC warning