Fix for GCC warning