AVALANCHE: (hopefully) fix a GCC warning