AVALANCHE: Fix one more GCC warning