Fixing GCC warning